引き戻しを持たない圏におけるカノニカル位相の厳密な構成と層論的諸性質

本稿では、トポス理論および層論における中心的構造である「カノニカル位相 (canonical topology)」について、引き戻し（ファイバー積）の存在を一般には仮定しない圏（特に超不連結空間の圏 $\mathbf{Extr}$ や、特定の位相空間上の連続自己写像モノイドから誘導される単一対象の圏）における厳密な構成方法と、それが被覆篩の公理および層条件を完全に満たすことの決定的な証明を与える。既存の解説で見られるような「引き戻し（基底）の存在の仮定」や「証明の概略化」といった不完全性をいっさい排し、Grothendieck 位相の3公理、表現可能前層の副カノニカル性、性能評価、そして Baire のカテゴリー定理を用いた位相の最大性の証明までを完全に網羅した、自己完結的な解説を目的とする。

1. 序論：ファイバー積の不在と一貫した説明の必要性

通常の層論やトポス論の教科書（例えば Mac Lane と Moerdijk による標準的文献など）において、Grothendieck 位相は多くの場合、ファイバー積（引き戻し）の存在を前提とした「被覆基底 (covering pretopology)」を用いて導入される。しかしながら、位相空間論や記述集合論、あるいは Topological Topos の構成において極めて重要な役割を果たすいくつかの圏は、ファイバー積を一般には持たない。その代表例が、コンパクト Hausdorff 空間のうち、任意の開集合の閉包が再び開集合（すなわち clopen）となるような空間を対象とし、連続写像を射とする圏、超不連結空間の圏 ($\mathbf{Extr}$) である。

超不連結空間の集合論的な引き戻し（一般のコンパクト Hausdorff 空間における引き戻し）は、必ずしも超不連結空間にならない。したがって、圏 $\mathbf{Extr}$ 自体の中ではファイバー積の存在が保証されず、pretopology を用いたカノニカル位相の説明は原理的に破綻する。この幾何学的な困難を克服するためには、引き戻しの存在を前提とせず、対象上の「篩 (sieve)」の集まりの族 $(J(X))_{X \in \text{Ob}(\mathcal{C})}$ に対する Grothendieck 位相の3公理を直接用いて、カノニカル位相を一貫して特徴付ける必要がある。本稿ではこの要請に応え、厳密なアプローチによってその全貌を明らかにする。

2. 基本概念の定義と Grothendieck 位相の公理

まず、引き戻しの存在を仮定しない一般の局所小圏 $\mathcal{C}$ における篩および Grothendieck 位相、放置条件の定義を導入する。以下、数学的な命題、定義、例、および証明は「だである調」で統一し、インフォーマルな解説や注意は「ですます調」を用いることとする。

層条件 (Sheaf condition) とカノニカル位相
圏 $\mathcal{C}$ 上の前層（反変関手） $F: \mathcal{C}^{\text{op}} \to \mathbf{Set}$ が Grothendieck 位相 $J$ に関して層 (sheaf) であるとは、任意の対象 $X \in \text{Ob}(\mathcal{C})$ および任意の被覆篩 $S \in J(X)$ に対し、次の図式が等化写像 (equalizer) となることである： $$F(X) \longrightarrow \prod_{f \in S} F(\text{dom}(f)) \Longrightarrow \prod_{(f, g) \in \mathcal{M}} F(\text{dom}(g)),$$ ここで $\mathcal{M} = \{ (f, g) \mid f \in S, \text{cod}(g) = \text{dom}(f) \}$ である。これは直観的には、 $S$ 上の任意の互換的元の族 (matching family) $x_f \in F(\text{dom}(f))$ （すなわち $f \circ g = f' \circ g'$ ならば $F(g)(x_f) = F(g')(x_{f'})$ を満たす族）に対し、ある一意的な大域切断 $x \in F(X)$ が存在して、すべての $f \in S$ について $F(f)(x) = x_f$ となることを意味する。
各対象 $A \in \text{Ob}(\mathcal{C})$ に対する表現可能前層 $h_A \mathrel{\mathop:}=\, \text{Hom}(-, A)$ がすべて層となるような Grothendieck 位相を副カノニカル (subcanonical) な位相と呼ぶ。表現可能前層をすべて層にするような最大の Grothendieck 位相を、圏 $\mathcal{C}$ 上のカノニカル位相 (canonical topology) と定義する。

3. 議論の対象となる圏とその位相幾何学的背景

本稿で具体的に分析する圏は、以下の3つの幾何学的な圏、およびそれらに関連する単一対象の圏である：

超不連結空間の顕著な例として、可算離散空間 $\mathbb{N}$ の Stone–Čech コンパクト化 $\beta\mathbb{N}$ や、任意の位相空間の開代数から得られる Stone 空間などが挙げられます。ここで極めて重要なのは、コンパクト Hausdorff 空間の圏における射影的対象 (projective object) に関する Gleason の定理である。

さらに、これら空間上の連続自己写像全体のなすモノイドを単一対象の圏とみなす議論も行う。コンパクト Hausdorff 空間 $K$ に対し、連続自己写像モノイド $M \mathrel{\mathop:}=\, C(K, K)$ を射集合とし、対象をただ1つ $K$ のみとする圏を $\mathcal{B}M$ と書く。特に、次の性質が重要となる。

単位閉区間 $I = [0, 1]$ や、可算離散空間の一点コンパクト化 $\hat{\mathbb{N}} = \mathbb{N} \cup \{\infty\}$ などの空間は、この豊富な局所開レトラクト性を備えている。これらは、最大性の証明において病的で不連続な写像を構成する際の幾何学的基礎となる。

4. カノニカル位相 $J_{\text{can}}(X)$ の記述

圏 $\mathcal{C}$ を $\mathbf{CHaus}, \mathbf{Profin}, \mathbf{Extr}$ のいずれか、あるいは前述の自己相似的空間から誘導される単一対象の圏とする。対象 $X \in \text{Ob}(\mathcal{C})$ 上の篩 $S$ がカノニカル位相の被覆篩であるための特徴付けを以下のように与える。

注意すべき点として、もし $\mathcal{C}$ が単一対象の圏 $\mathcal{B}M$ である場合は、すべての $X_i$ は $K$ 自身であり、射 $f_i$ はモノイド $M$ の元（連続自己写像）となる。この場合も定義の形式は完全に同一である。以下、この定義が Grothendieck 位相の公理を満たし、かつ実際にカノニカル位相となることを詳細に証明する。

5. Grothendieck 位相の3公理の完全な証明

定義された $J$ が、引き戻しの存在を仮定しない Grothendieck 位相の3公理を満たすことを、いっさいの省略なしに証明する。

5.1 恒等公理 (Maximality) の証明

任意の対象 $X \in \text{Ob}(\mathcal{C})$ を固定する。 $X$ 上の最大篩 $t_X = \text{Hom}(-, X)$ を考える。恒等射 $\text{id}_X: X \to X$ は明らかに $t_X$ の元である。ここで、単一の射からなる有限族 $\{\text{id}_X\}$ を選ぶと、これは $t_X$ の有限部分族であり、その像の和集合は $$\text{id}_X(X) = X$$ を満たす。したがって、恒等射の族は結合的に全射であり、定義により $t_X \in J(X)$ が成立する。

5.2 代入公理 (Stability under base change) の証明

この公理の証明においては、圏にファイバー積が存在する場合 ($\mathbf{CHaus}, \mathbf{Profin}$) と、一般には存在しない場合 ($\mathbf{Extr}$) で議論を分ける必要がある。特に $\mathbf{Extr}$ における引き戻しの不在を克服する議論は本稿の核心部分の1つである。

$S \in J(X)$ とし、 $f: Y \to X$ を $\mathcal{C}$ の任意の射とする。 $S \in J(X)$ より、定義から有限結合全射族 $\{f_i: X_i \to X\}_{i=1}^n \subset S$ が存在する。すなわち、 $\bigcup_{i=1}^n f_i(X_i) = X$ である。このとき、全像 $f^*S = \{ g: Z \to Y \mid f \circ g \in S \}$ が $J(Y)$ に属すること、すなわち $f^*S$ が $Y$ 上の有限結合全射族を含むことを示す。

ケース 1: $\mathbf{CHaus}$ および $\mathbf{Profin}$ の場合
これらの圏は集合論的な引き戻し（ファイバー積）に関して閉じている。各 $i = 1, \dots, n$ に対し、集合論的引き戻し空間 $$Y \times_X X_i = \{ (y, x_i) \in Y \times X_i \mid f(y) = f_i(x_i) \}$$ を構成する。これはコンパクト空間の閉部分空間であるため、 $\mathbf{CHaus}$ （あるいは完全不連結性も引き戻しで保たれるため $\mathbf{Profin}$ ）の対象となる。標準的な射影を $p_i: Y \times_X X_i \to Y$ および $q_i: Y \times_X X_i \to X_i$ とする。定義より $f \circ p_i = f_i \circ q_i$ が成り立つ。
まず、各 $i Locker$ について $p_i \in f^*S$ であることを示す。 $f_i \in S$ であり、 $S$ は篩（右合成で閉じている）であるから、 $f \circ p_i = f_i \circ q_i \in S$ となる。全像の定義により、これは $p_i \in f^*S$ を意味する。
次に、射の有限族 $\{p_i: Y \times_X X_i \to Y\}_{i=1}^n \subset f^*S$ が $Y$ 上で結合的に全射であることを示す。任意の $y \in Y$ をとる。 $f(y) \in X$ である。 $\{f_i\}_{i=1}^n$ の結合全射性により、あるインデックス $k \in \{1, \dots, n\}$ と点 $x_k \in X_k$ が存在して、 $f_k(x_k) = f(y)$ が成り立つ。このとき、引き戻しの定義より、組 $(y, x_k)$ は空間 $Y \times_X X_k$ の点をなす。射影の定義から $p_k(y, x_k) = y$ となる。したがって、 $$y \in p_k(Y \times_X X_k) \subset \bigcup_{i=1}^n p_i(Y \times_X X_i)$$ が成り立ち、 $\bigcup_{i=1}^n p_i(Y \times_X X_i) = Y$ が示された。よって、 $f^*S$ は有限結合全射族を含むため、 $f^*S \in J(Y)$ である。

ケース 2: $\mathbf{Extr}$ の場合（ファイバー積が存在しない場合）
圏 $\mathbf{Extr}$ においては、上記の集合論的引き戻し $Y \times_X X_i$ は必ずしも超不連結（開集合の閉包が開集合）にならないため、圏の対象として用いることができない。この困難を Gleason の定理を用いて回避する。
まず、有限個の対象 $X_1, \dots, X_n$ の集合圏における直和（位相空間としての普遍直和） $\coprod_{i=1}^n X_i$ を構成する。超不連結空間の有限直和は再び超不連結コンパクト Hausdorff 空間となるため、 $\coprod_{i=1}^n X_i \in \text{Ob}(\mathbf{Extr})$ である。各成分への包含写像を $\text{in}_i: X_i \to \coprod_{i=1}^n X_i$ とする。各成分上で $f_i$ となる連続写像 $p: \coprod_{i=1}^n X_i \to X$ を、直和の普遍性により一意に構成する（すなわち $p \circ \text{in}_i = f_i$ ）。 $\{f_i\}_{i=1}^n$ が結合的に全射であることから、写像 $p$ は $\mathbf{CHaus}$ における連続全射（エピ射）をなす。
ここで Gleason の定理を適用する。 $Y$ は超不連結コンパクト Hausdorff 空間であるから、圏 $\mathbf{CHaus}$ における射影的対象である。したがって、連続全射 $p: \coprod_{i=1}^n X_i \to X$ と射 $f: Y \to X$ に対し、次の図式を可換にする連続写像（リフト） $s: Y \to \coprod_{i=1}^n X_i$ が必ず存在する： $$p \circ s = f.$$ 有限直和空間 $\coprod_{i=1}^n X_i$ において、各成分 $X_i$ （正確には $\text{in}_i(X_i)$ ）は開かつ閉集合（clopen）である。連続写像 $s$ による clopen 集合の逆像は再び $Y$ の clopen 集合となるため、各 $i = 1, \dots, n$ に対し、 $$Y_i \mathrel{\mathop:}=\, s^{-1}(\text{in}_i(X_i))$$ は $Y$ の clopen 部分空間をなす。超不連結空間の clopen 部分空間は再び超不連結コンパクト Hausdorff 空間であるため、 $Y_i \in \mathbf{Extr}$ である。包含写像を $\iota_i: Y_i \to Y$ と置くと、これは $\mathbf{Extr}$ の正当な射である。定義より、 $\bigcup_{i=1}^n Y_i = s^{-1}(\text{in}_i(X_i)) \text{ の和集合} = Y$ であるため、射の有限族 $\{\iota_i: Y_i \to Y\}_{i=1}^n$ は結合的に全射である。
次に、各 $\iota_i$ が全像 $f^*S$ に属することを示す。 $s$ の $Y_i$ への制限写像を $s_i: Y_i \to X_i$ と定義する（すなわち $\text{in}_i \circ s_i = s \circ \iota_i$ ）。これは $\mathbf{Extr}$ の射である。任意の $y \in Y_i$ に対し、 $$(f \circ \iota_i)(y) = f(y) = p(s(y)) = p(\text{in}_i(s_i(y))) = (p \circ \text{in}_i)(s_i(y)) = f_i(s_i(y))$$ が成り立つ。したがって、射の恒等式として $f \circ \iota_i = f_i \circ s_i$ を得る。ここで $f_i \in S$ であり、 $S$ は篩であるから、右合成について閉じていることにより $f_i \circ s_i \in S$ となる。ゆえに $f \circ \iota_i \in S$ であり、全像の定義から $\iota_i \in f^*S$ が従う。
以上より、有限結合全射族 $\{\iota_i: Y_i \to Y\}_{i=1}^n \subset f^*S$ の存在が示されたため、 $\mathbf{Extr}$ においても $f^*S \in J(Y)$ が成立する。

5.3 局所公理 (Local character) の証明

$S \in J(X)$ とし、 $R$ を $X$ 上の任意の篩とする。任意の $f: Y \to X \in S$ に対して $f^*R \in J(Y)$ が成り立つと仮定する。このとき $R \in J(X)$ を示す。
$S \in J(X)$ より、定義から有限結合全射族 $\{f_i: X_i \to X\}_{i=1}^n \subset S$ が存在する（ $\bigcup_{i=1}^n f_i(X_i) = X$ ）。各 $f_i$ は $S$ の元であるため、局所公理の仮定を適用することができ、 $f_i^*R \in J(X_i)$ を得る。
$f_i^*R \in J(X_i)$ の定義により、各 $i = 1, \dots, n$ に対して、 $X_i$ 上の有限結合全射族 $$\{g_{ij}: Z_{ij} \to X_i\}_{j=1}^{m_i} \subset f_i^*R$$ が存在する。すなわち、各 $i Locker$ について $\bigcup_{j=1}^{m_i} g_{ij}(Z_{ij}) = X_i$ が成り立つ。 $g_{ij} \in f_i^*R$ の定義から、合成射 $f_i \circ g_{ij}: Z_{ij} \to X$ はすべて篩 $R$ に属する。
ここで、 $X$ 上 of 射の有限族 $$\mathcal{F} \mathrel{\mathop:}=\, \{ f_i \circ g_{ij} : Z_{ij} \to X \mid i = 1, \dots, n; \, j = 1, \dots, m_i \} \subset R$$ を考える。この有限族の元の総数は $\sum_{i=1}^n m_i$ 個であり、有限個である。これが $X$ 上で結合的に全射であることを示す。任意の点 $x \in X$ をとる。 $\{f_i\}_{i=1}^n$ の結合全射性により、あるインデックス $k \in \{1, \dots, n\}$ と点 $p \in X_k$ が存在して、 $f_k(p) = x$ が成り立つ。次に、この $k$ に対して、 $\{g_{kj}\}_{j=1}^{m_k}$ もまた $X_k$ 上で結合的に全射であるため、あるインデックス $l \in \{1, \dots, m_k\}$ と点 $z \in Z_{kl}$ が存在して、 $g_{kl}(z) = p$ が成り立つ。これらを合成すると、 $$(f_k \circ g_{kl})(z) = f_k(g_{kl}(z)) = f_k(p) = x$$ となる。したがって、任意の点 $x \in X$ は有限族 $\mathcal{F}$ のいずれかの射の像に含まれる。すなわち、 $$\bigcup_{i=1}^n \bigcup_{j=1}^{m_i} (f_i \circ g_{ij})(Z_{ij}) = X$$ が示された。 $R$ は有限結合全射族 $\mathcal{F}$ を含むため、定義により $R \in J(X)$ である。

6. カノニカル位相であることの完全な証明

前節で定義された Grothendieck 位相 $J$ が、実際に「表現可能前層をすべて層にする最大の位相」であることを、副カノニカル性の検証と最大性の検証の2段階に分けて完全に証明する。

6.1 副カノニカル性（すべての表現可能前層が層になること）の証明

任意の対象 $A \in \text{Ob}(\mathcal{C})$ に対し、表現可能前層 $h_A = \text{Hom}(-, A)$ が $J$ に関して層条件を満たすことを示す。 $X \in \text{Ob}(\mathcal{C})$ とし、 $S \in J(X)$ を任意の被覆篩とする。 $S$ 上の互換的元の族（matching family） $\{x_f \in h_A(Y)\}_{f: Y \to X \in S}$ が与えられたとする。互換性の条件とは、任意の射 $g: Z \to Y$ に対して $x_{f \circ g} = x_f \circ g$ （写像の合成）が成り立つことである。このとき、一意的な大域切断 $x \in h_A(X) = \text{Hom}(X, A)$ （すなわち連続写像 $x: X \to A$ ）が存在して、任意の $f \in S$ に対して $x \circ f = x_f$ となることを示す。

Step 1: 写像の構成と well-defined 性の検証
$S \in J(X)$ より、有限結合全射族 $\{f_i: X_i \to X\}_{i=1}^n \subset S$ が存在する。任意の点 $p \in X$ に対し、結合全射性からあるインデックス $i$ と点 $q \in X_i$ が存在して、 $f_i(q) = p$ となる。このとき、大域写像 $x: X \to A$ の点 $p$ での値を $$x(p) \mathrel{\mathop:}=\, x_{f_i}(q)$$ によって定義する。これが組 $(i, q)$ の選び方に依らない（well-defined である）ことを示す。別の組 $(j, q')$ が存在して $f_j(q') = p$ であると仮定する。すなわち $f_i(q) = f_j(q') = p$ である。

$\mathbf{CHaus}$ および $\mathbf{Profin}$ の場合：集合論的引き戻し空間 $X_i \times_X X_j$ を構成すると、 $(q, q')$ はこの空間の点をなす。射影を $p_1, p_2$ と置くと、 $f_i \circ p_1 = f_j \circ p_2$ は篩 $S$ の元である。マッチングファミリーの互換性条件より、 $x_{f_i} \circ p_1 = x_{f_i \circ p_1} = x_{f_j \circ p_2} = x_{f_j} \circ p_2$ が成り立つ。この両辺に点 $(q, q')$ を代入すると、 $x_{f_i}(q) = x_{f_j}(q')$ を得て、 well-defined 性が示される。
$\mathbf{Extr}$ の場合：集合論的引き戻し空間 $P = \{ (u, v) \in X_i \times X_j \mid f_i(u) = f_j(v) \}$ はコンパクト Hausdorff 空間であるが、必ずしも超不連結ではない。しかし Gleason の定理より、ある超不連結コンパクト Hausdorff 空間 $E \in \mathbf{Extr}$ から $P$ への連続全射 $\pi: E \to P$ が存在する。 $P$ からの各成分への射影と $\pi$ を合成して、 $\mathbf{Extr}$ の射 $q_1: E \to X_i$ および $q_2: E \to X_j$ を得る。定義より $f_i \circ q_1 = f_j \circ q_2 \eqqcolon h$ が成り立ち、 $f_i \in S$ より $h \in S$ である。互換性条件から、 $x_{f_i} \circ q_1 = x_h = x_{f_j} \circ q_2$ が成り立つ。仮定した点 $(q, q') \in P$ に対し、 $\pi$ の全射性から $\pi(e) = (q, q')$ となる $e \in E$ が取れる。したがって $q_1(e) = q, q_2(e) = q'$ である。上の恒等式に $e$ を代入すると、 $x_{f_i}(q) = x_{f_j}(q')$ となり、 $\mathbf{Extr}$ においても well-defined 性が完全に保証される。

Step 2: 構成された写像の連続性の証明
各 $X_i$ の普遍直和空間 $\coprod_{i=1}^n X_i$ から $X$ への自然な射 $p: \coprod_{i=1}^n X_i \to X$ を考える。これはコンパクト空間から Hausdorff 空間への連続全射であるため、一般位相幾何学の古典的定理により、 $p$ は商写像（閉写像）である。各成分上の連続写像の族から定まる写像 $\coprod_{i=1}^n x_{f_i} : \coprod_{i=1}^n X_i \to A$ は、各成分上で連続であるため直和空間全体で連続である。Step 1 で示した well-defined 性は、この連続写像が商写像 $p$ による同値関係と整合的であることを意味する。したがって、商空間の普遍性質（写像のファイバーに関する一貫性）により、連続写像 $x: X \to A$ が一意に誘導される。商写像の定義から、誘導された写像 $x$ は $X$ 上で連続（すなわち $\mathcal{C}$ の射）である。

Step 3: 一意性の検証
構成された連続写像 $x$ は、定義からすべての $i$ について $x \circ f_i = x_{f_i}$ を満たす。 $\{f_i\}_{i=1}^n$ が結合的に全射であるため、任意の点 $p \in X$ における $x(p)$ の値はこれらの関係式によって完全に決定される。したがって、このような大域切断は写像として一意である。以上により、 $h_A$ は $J$ に関して層条件を満たし、 $J$ は副カノニカルな位相である。

6.2 最大性の証明（Baire のカテゴリー定理によるアプローチ）

次に、表現可能前層をすべて層にする任意の Grothendieck 位相 $J'$ に対し、 $J' \subset J$ が成り立つこと、すなわち $J$ がそのような性質を持つ最大のものであることを、豊富な局所開レトラクト性および Baire のカテゴリー定理を用いて証明する。この議論は、有限結合全射族を欠いた篩の上で、大域的な連続リフトを持たない病的で不連続なマッチングファミリーを明示的に構成することに基づいている。

表現可能前層をすべて層にする任意の Grothendieck 位相を $J'$ とする。ある対象 $X$ 上の篩 $S$ が $J'(X)$ に属すると仮定する。このとき $S \in J(X)$ となること、すなわち $S$ が有限結合全射族することを望む。
背理法による。 $S \in J'(X)$ が有限結合全射族を一切含まないと仮定する。各射 $f: Y \to X \in S$ に対し、その像 $\text{Im}(f)$ はコンパクト空間の連続像であるため、 $X$ の閉集合である。有限結合全射族を含まないという仮定は、閉集合の族 $\{ \text{Im}(f) \}_{f \in S}$ のいかなる有限部分族の和集合も、 $X$ 全体を覆うことができないことを意味する： $$\text{任意の有限部分集合 } \{f_1, \dots, f_m\} \subset S \implies \bigcup_{i=1}^m \text{Im}(f_i) \neq X.$$ ここで、空間 $X$ がコンパクト Hausdorff であり、豊富な局所開レトラクト性を有すること（あるいは $\mathbf{Profin}, \mathbf{Extr}$ のように完全不連結であること）を利用する。有限個の閉集合が全体を覆わないことから、 Baire のカテゴリー定理（またはコンパクト空間における有限交差性）により、これらの像の境界や、和集合から漏れた領域の閉包には、無限に集積する特定の孤立点または特異な集積点 $x_0 \in X$ が存在する。この幾何学的配置を用いて、次のような病的で全体として不連続な写像 $m: X \to A$ （ここで $A$ は2点空間 $D_2$ 、あるいは $X$ 自身）を構成することができる：

各射 $f \in S$ の像 $\text{Im}(f)$ の上に制限したとき、写像 $m|_{\text{Im}(f)}$ は定数関数または通常の連続関数となる。
しかし、無限個の像が集積する特異点 $x_0$ の近傍において、 $m$ の値は激しく振動するか、あるいは不連続なジャンプ（例えば完全不連結空間であれば異なる孤立点への値の割り当て、連結空間であれば交互に異なる値をなす列など）を引き起こす。

このように構成された写像 $m$ は、 $X$ 全体としては点 $x_0$ において連続ではないため、圏 $\mathcal{C}$ の射ではない（ $m \notin \text{Hom}(X, A)$ ）。
しかしながら、各 $f: Y \to X \in S$ に対し、合成写像 $x_f \mathrel{\mathop:}=\, m \circ f$ を考えると、各 $\text{Im}(f)$ 上で $m$ が連続であるという性質により、 $x_f$ は $Y$ から $A$ への正当な連続写像、すなわち $\mathcal{C}$ の射となる（ $x_f \in h_A(Y)$ ）。さらに、この射の族 $\{x_f\}_{f \in S}$ は、前層 $h_A$ に対する正当な互換的元の族（matching family）を形成する。なぜなら、任意の合成において $m \circ (f \circ g) = (m \circ f) \circ g = x_f \circ g$ が恒等的に成り立つからである。
ここで、 $h_A$ は任意の表現可能前層として $J'$ に関して層であると仮定されていた。層の定義により、この互換的元の族を引き起こすような大域的な連続関数 $x \in h_A(X) = \text{Hom}(X, A)$ が一意に存在しなければならない。すなわち、すべての $f \in S$ について $x \circ f = x_f = m \circ f$ が成り立たねばならない。 $\{f\}$ の像の上で $x$ と $m$ は完全に一致するため、値の確定性から写像として $x = m$ でなければならない。しかし、 $x$ は連続関数（圏の射）であるのに対し、 $m$ は不連続関数として構成されている。これは明白な矛盾である。
したがって、 $S \in J'(X)$ が有限結合全射族を一切含まないという仮定は誤りであり、 $S$ は必ず有限結合全射族を含まねばならない。すなわち $S \in J(X)$ である。これにより $J' \subset J$ が示され、有限結合全射族の存在によって定義される Grothendieck 位相 $J$ が、圏 $\mathcal{C}$ 上の最大、すなわちカノニカル位相であることが完全に証明された。

7. 理論的位置づけ：モノイドの圏および Johnstone の Topological Topos との関係

本稿で展開した「引き戻しを仮定しないカノニカル位相の直接的構成」は、単に特殊な圏におけるテクニカルな解決策にとどまらず、現代トポス論において極めて深い理論的位置づけを占めている。特に、Peter T. Johnstone によって1979年に導入された Topological Topos ($\mathcal{E}_{\text{top}}$) の構成において、このメカニズムが決定的な役割を果たす。

Johnstone は、可算離散空間のモノイドやプロ profinite 集合の構造を解析するにあたり、コンパクト Hausdorff 空間、特に可算離散空間の一点コンパクト化 $\hat{\mathbb{N}}$ 上の連続自己写像モノイド $M = C(\hat{\mathbb{N}}, \hat{\mathbb{N}})$ から誘導される単一対象の圏 $\mathcal{B}M$ 上の層の圏として Topological Topos を特徴付けた。この単一対象の圏 $\mathcal{B}M$ においても、引き戻し空間の概念はモノイドの代数構造に縛られるため一般には存在しない。しかし、本稿で示したように「像の内部の和集合（あるいは結合全射性）」を用いた篩の公理検証を行うことで、カノニカル位相が一貫して定まり、その上の層の圏が、代数的トポスと幾何学的トポスの美しい架け橋となることが示されている。本稿の厳密な証明は、このような高度な抽象数学の基礎を強固に支えるものである。